Logical Omniscience and the Cost of Deliberation
نویسندگان
چکیده
Logical omniscience is a well known problem which makes traditional modal logics of knowledge, belief and intentions somewhat unrealistic from the point of view of modelling the behaviour of a resource bounded agent. We propose two logics which take into account ‘deliberation time’ but use a more or less standard possible worlds semantics with classical possible worlds.
منابع مشابه
Dealing With Logical Omniscience: Expressiveness and Pragmatics
We examine four approaches for dealing with the logical omniscience problem and their potential applicability: the syntactic approach, awareness, algorithmic knowledge, and impossible possible worlds. Although in some settings these approaches are equiexpressive and can capture all epistemic states, in other settings of interest (especially with probability in the picture), we show that they ar...
متن کاملDeliberation as Coordination through Cheap Talk∗
In contrast with other formal theory treatments of democratic deliberation in terms of (1) strategic information pooling or (2) relaxing the assumption of logical omniscience, this paper considers the role of deliberation in coordinating citizens on a higherwelfare equilibrium. The equilibrium in question belongs to a post-deliberation game of fundamental action vis-à-vis other individuals: giv...
متن کاملLogical omniscience and common knowledge: WHAT do we know and what do WE know?
Two difficult issues for the logic of knowledge have been logical omniscience and common knowledge. Our existing logics of knowledge based on Kripke structures seem to justify logical omniscience, but we know that in real life it does not exist. Also, common knowledge appears to be needed for certain real life procedures to work. But it seems quite implausible that it actually exists in real pe...
متن کاملAvoiding Logical Omniscience by Default - An Investigation into Autoepistemic Logic (Levesque, 1990)
In cognitive science epistemic logic is often used to describe reasoning with knowledge. Standard systems of epistemic logic suffer from the fact that they presuppose perfect and flawless reasoning (i.e. logical omniscience). Deviation from this ideal (e.g. logical ignorance) cannot be described by standard epistemic systems adequately. The majority of approaches to this problem weakens the log...
متن کاملDelusions of Omniscience
Epistemic and doxastic modal logics (Hintikka [1962]), and the logics of theory change and belief revision (Alchourr6n et. al. [1985], Giirdenfors [1988]) are used for the representation of belief. Both kinds of logic are omniscient in various ways. We address these delusions of omniscience in this paper. We begin by defining three kinds of omniscience logical, deductive, and factual. We will t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001